Argues that the key distinction between human and nonhuman social cognition consists in our complex, diverse and flexible capacities to shape each other's minds in ways that make them easier to interpret.

The aim of the paper is to prove the result announced by the title.

We propose a new schema for the deduction theorem and prove that the deductive system S of a prepositional logic L fulfills the proposed schema if and only if there exists a finite set A(p, q) of propositional formulae involving only prepositional letters p and q such that A(p, p) L and p, A(p, q) s q.

Using ideas from Murskii [3], Tokarz [4] and Wroski [7] we construct some strongly finite consequence operation having 2%0 standard strengthenings. In this way we give the affirmative answer to the following question, stated in Tokarz [4]: are there strongly finite logics with the degree of maximality greater than 0?

We prove that each proper ideal in the lattice of axiomatic, resp. standard strengthenings of the intuitionistic propositional logic is of cardinality 20. But, each proper ideal in the lattice of structural strengthenings of the intuitionistic propositional logic is of cardinality 220. As a corollary we have that each of these three lattices has no atoms.

Let q(K) denote the least quasivariety containing a given class K of algebraic structures. Mal'cev [3] has proved that q(K) = ISP r(K)(1). Another description of q(K) is given in Grätzer and Lakser [2], that is, q(K) = ISPP u(K)2. We give here other proofs of these results. The method which enables us to do that is borrowed from prepositional logics (cf. [1]).

Argues that the key distinction between human and nonhuman social cognition consists in our complex, diverse and flexible capacities to shape each other's minds in ways that make them easier to interpret.

I argue for two claims. First I argue against the consensus view that accurate behavioral prediction based on accurate representation of cognitive states, i.e. mind reading , is the sustaining function of propositional attitude ascription. This practice cannot have been selected in evolution and cannot persist, in virtue of its predictive utility, because there are principled reasons why it is inadequate as a tool for behavioral prediction. Second I give reasons that favor an alternative account of the sustaining function of (...) propositional attitude ascription. I argue that it serves a mind-shaping function. Roughly, propositional attitude ascription enables human beings to set up regulative ideals that function to mold behavior so as to make it easier to coordinate with. (shrink)

I review recent evidence that very young, pre-verbal infants attribute belief-like states when anticipating the behavior of others. This evidence is drawn from infant performance on non-verbal false belief tasks. I argue that, contrary to typical interpretations, such evidence does not show that infants attribute belief-like states. Rather, it shows that infants apply an enhanced version of what Gergely ( 2011 ) calls the “teleological stance” to brief bouts of behavior. This requires them to parse behavioral sequences into goals and (...) rationally/informationally-constrained means of achieving them; however, it does not require the attribution of unobservable mental states, like beliefs, that are causally responsible for behavior. (shrink)

I defend an alternative to the two traditional accounts of the relationship between metacognition and social cognition: metacognition as primary versus social cognition as primary. These accounts have complementary explanatory vices and virtues. They also share a natural assumption: that interpretation in terms of mental states is “spectatorial”, aiming exclusively for an objective description of the mental facts about self and others. I argue that if one rejects this assumption in favor of the view that interpretation in terms of mental (...) states also plays important regulative roles with respect to minds and behavior, a new and superior conception of the relationship between metacognition and social cognition comes into view. On this conception, person-level metacognitive concepts are socio-cognitive tools that shape us into better cognitive agents and more predictable cognitive objects, thereby enhancing our abilities at social coordination. Mastery of these metacognitive concepts relies on subpersonal, non-conceptual, procedural metacognition. This reconceptualization of the relationship between metacognition and social cognition combines the complementary explanatory virtues of the two traditional conceptions, while avoiding their complementary explanatory vices. (shrink)

Recent accounts of mindreading—i.e., the human capacity to attribute mental states to interpret, explain, and predict behavior—have suggested that it has evolved through cultural rather than biological evolution. Although these accounts describe the role of culture in the ontogenetic development of mindreading, they neglect the question of the cultural origins of mindreading in human prehistory. We discuss four possible models of this, distinguished by the role they posit for culture: (1) the standard evolutionary psychology model (Carruthers), (2) the individualist empiricist (...) model (Wellman, Gopnik), (3) the cultural empiricist model (Heyes), and (4) the radical socio-cultural constructivist model, which we favor. We motivate model (4) by arguing that many forms of mental state ascription do not serve the function of simply describing inner states causally responsible for the behavior of a cognitive agent; rather, they relate the agent to her environment by characterizing her practical commitments. Making these practical commitments explicit has an important regulatory function in that it supports action coordination and alignment on joint goals. We propose a model of how the ascription of mental states may have evolved as a linguistic device to perform exactly this function of making agents’ practical commitments explicit. (shrink)

Recent accounts of mindreading—i.e., the human capacity to attribute mental states to interpret, explain, and predict behavior—have suggested that it has evolved through cultural rather than biological evolution. Although these accounts describe the role of culture in the ontogenetic development of mindreading, they neglect the question of the cultural origins of mindreading in human prehistory. We discuss four possible models of this, distinguished by the role they posit for culture: the standard evolutionary psychology model, the individualist empiricist model, the cultural (...) empiricist model, and the radical socio-cultural constructivist model, which we favor. We motivate model by arguing that many forms of mental state ascription do not serve the function of simply describing inner states causally responsible for the behavior of a cognitive agent; rather, they relate the agent to her environment by characterizing her practical commitments. Making these practical commitments explicit has an important regulatory function in that it supports action coordination and alignment on joint goals. We propose a model of how the ascription of mental states may have evolved as a linguistic device to perform exactly this function of making agents’ practical commitments explicit. (shrink)

H. sapiens stands out from other primates along many social dimensions; however, none seems as prominent and important as the capacity of our species for cumulative cultural evolution or, as Tomasello calls it, “the ratchet.” Although other primate species show evidence of cultural variation, there is little evidence of cumulative cultural evolution, i.e., the gradual accumulation, modification, and refinement of traditions and skills over historical time, in any primate species other than our own. This is clearly an extremely significant component (...) of the human phenotype, responsible for our unparalleled cultural, social, political, and technological achievements. However, it remains extremely controversial what sorts of cognitive capacities are necessary to trigger cumulative cultural evolution and whether any currently proposed candidates are really distinctive of humans. Furthermore, the ratchet raises a bootstrapping problem: before complex skills and technologies are present and necessary for biological success, there appear to be few advantages to high-fidelity social learning; however, without such high-fidelity social learning, it is unclear how traditions capable of generating complex skills and technologies could arise in the first place. In this chapter, we survey relevant empirical research in comparative and developmental psychology, integrating it with a novel theoretical analysis of the bootstrapping problem to defend a hypothesis about the minimal cognitive preconditions on the ratchet. (shrink)

I argue that proponents of embodied social cognition (ESC) can usefully supplement their views if they enlist the help of an unlikely ally: Daniel Dennett. On Dennett’s view, human social cognition involves adopting the intentional stance (IS), i.e., assuming that an interpretive target’s behavior is an optimally rational attempt to fulfill some desire relative to her beliefs. Characterized this way, proponents of ESC would reject any alliance with Dennett. However, for Dennett, to attribute mental states from the intentional stance is (...) not to attribute concrete, unobservable mental causes of behavior. Once this is appreciated, the kinship between IS—understood as a model of our quotidian interpretive practices—and ESC is apparent: both assume that quotidian interpretation involves tracking abstract, observable, behavioral patterns, not attributing unobservable, concrete, mental causes, i.e., both assume social cognition is possible without metapsychology. I argue that this affinity constitutes an opportunity: proponents of ESC can use IS as a characterization of the subpersonal basis for social cognition. In the process, I make my interpretation of IS more precise and relate it to current empirical literature in developmental psychology. (shrink)

We address recent interpretations of infant performance on spontaneous false belief tasks. According to most views, these experiments show that human infants attribute mental states from a very young age. Focusing on one of the most clearly worked out, minimalist versions of this idea, Butterfill and Apperly's "minimal theory of mind" framework, we defend an alternative characterization: the minimal theory of rational agency. On this view, rather than conceiving of social situations in terms of states of an enduring mental substance (...) animating agents, infant interpreters parse observed bouts of behavior and their contexts into goals, rational means to those goals, and available information. In other words, the social ontology of infant interpreters consists in goal-directed, informed bouts of behavior, by non-enduring agents, rather than agents animated by states of enduring, unobservable minds. We discuss a number of experiments that support this interpretation of infant socio-cognitive competence. (shrink)

I criticize Herbert Simon 's argument for the claim that complex natural systems must constitute decomposable, mereological or functional hierarchies. The argument depends on certain assumptions about the requirements for the successful evolution of complex systems, most importantly, the existence of stable, intermediate stages in evolution. Simon offers an abstract model of any process that succeeds in meeting these requirements. This model necessarily involves construction through a decomposable hierarchy, and thus suggests that any complex, natural, i.e., evolved, system is constituted (...) by a decomposable hierarchy. I argue that Stuart Kauffman's recent models of genetic regulatory networks succeed in specifying processes that could meet Simon 's requirements for evolvability without requiring construction through a decomposable hierarchy. Since Kauffman's models are at least as plausible as Simon 's model, Simon 's argument that complex natural systems must constitute decomposable, mereological or functional hierarchies does not succeed. (shrink)

I briefly review the three basic strategies for naturalizing intentionality discussed by Haugeland 4:383–427, 1990, and Hutto and Satne, recounting their deficits. Then, I focus on Dennett’s version of what Haugeland calls the “second-base … neo-behaviorist” strategy. After briefly explaining Dennett’s proposal, I defend it against four common objections: circularity, relativity, under-specified rationality, and failure to track robustly natural facts. I conclude by recounting the advantages of Dennettian neo-behaviorism over the neo-Cartesian and neo-pragmatist alternatives, as well as Hutto and Satne’s (...) proposal that intentionality comes in two distinct kinds. (shrink)

I argue that adaptive, self-directed misbeliefs are likely more prevalent and important than McKay & Dennett (M&D) claim. Humans often falsely interpret their own behavior in terms of culturally afforded categories. Despite their falsity, such self-interpretations are often adaptive because of our disposition to behave consistently with them. This makes us easier to interpret by similarly enculturated interactants.

I pose the following dilemma for Millikan's teleological theory of mental content. There is only one way that her theory can avoid Gauker's [(1995) Review of Millikan's White queen psychology and other essays for Alice, Philosophical Psychology, 8, 305-309] charge that it relies on an unexplained notion of mapping or isomorphism between mental state and world. Mental content must be explained in terms of the mapping relation that is required for mental state producing and consuming mechanisms to perform their biologically (...) proper functions, i.e. producing mental states that are consumed in systematically adaptive practical inferences. However, this proposal leads to unacceptably counterintuitive ascriptions of content to mythological beliefs and related desires: such beliefs and desires must "map onto" environmental states that make them adaptive, not onto the mythological states of affairs that (would) make them true or fulfilled. I conclude by discussing the merits and drawbacks of a potential solution to this problem: the view that the contents of mythological beliefs and desires are determined by the non-mythological concepts out of which they are constructed, rather than by the environmental states that make them adaptive. The affinities of this proposal with Pascal Boyer's recent theory of mythological concepts [(2001) Religion explained, New York: Basic Books] are also discussed. (shrink)

The evolution of human language, and the kind of thought the communication of which requires it, raises considerable explanatory challenges. These systems of representation constitute a radical discontinuity in the natural world. Even species closely related to our own appear incapable of either thought or talk with the recursive structure, generalized systematicity, and task-domain neutrality that characterize human talk and the thought it expresses. W. Tecumseh Fitch’s proposal (2004, in press) that human language is descended from a sexually selected, prosodic (...) proto-language that approximated its syntactic complexity, and later acquired semantics thanks to kin selection for its use as a means of pedagogical transmission, has the promise of meeting these explanatory challenges. However, Fitch’s theory raises two problems of its own: (1) according to Boyd and Richerson (1996, Proc. Br. Acad. 88: 77–93), circumstances in which pedagogy is adaptive are inevitably rare in nature, and (2) it is unlikely that our non-discursive precursors had generally systematic, task-domain neutral thoughts to communicate to their offspring. I propose solutions to these problems. Pedagogy would be favored in a population where complex rituals dominated diverse aspects of life. Prosodic proto-language could emerge as the medium of pedagogic transmission. As this medium was used to teach a greater variety of tasks, it would become increasingly general and domain neutral. The presence and importance of such a system of communication in hominid populations could then drive, via Baldwinian mechanisms, the evolution of a kind of ‘thinking for speaking’ (Slobin 1991, Pragmatics 1: 7–25) characterized by recursive structure, generalized systematicity, and task-domain neutrality. (shrink)

Most theories of semantic competence in natural language implicitly assume the Language of Thought Hypothesis. According to this hypothesis, all human cognition consists in the deployment of a language of thought. This language of thought is supposed to be independent of natural language, yet at the same time, it is supposed to be semantically isomorphic with natural language. Given this assumption, it is easy to answer basic questions regarding semantic competence in natural language. What are semantic properties of natural language, (...) and how did they originate? Natural language inherits the semantic properties of the language of thought it is used to express. What does semantic competence consist in? It consists in knowing how to translate items in one's language of thought into a public medium. ;The starting point of this dissertation is the rejection, by some prominent paradigms in cognitive science, of the view that human cognition consists in the deployment of a language of thought that is, at the same time, independent of natural language, yet semantically isomorphic with it. The dissertation constitutes a fledgling attempt to explore an alternative approach to explaining semantic competence in natural language, an approach that is compatible with this rejection of the Language of Thought Hypothesis. ;Rather than conceive of natural language as a tool for expressing items in a pre-existing, semantically isomorphic, language of thought, I urge that language be conceived of as a norm-governed social practice. On this view, the semantic properties of natural language are determined by the inferential norms governing linguistic performances. In order to explain the origin of its semantic properties, one must explain the origin of the inferential norms that govern language. In order to explain what semantic competence consists in, one must explain how individuals learn to abide by these inferential norms. The bulk of the dissertation is devoted to showing that neither of these explanatory projects requires endorsing the Language of Thought Hypothesis. I do this by sketching the form that such explanations might take, and showing that they are consistent with much current research in ethology, comparative psychology, developmental psychology, and evolutionary biology. (shrink)

This paper presents a naturalist skill-based alternative to traditional function-based naturalist theories of mental health and disorder. According to the novel skill view outlined here, mental health is a skilled action of individuals, rather than a question of the functioning of mental mechanisms. Mental disorder is the failure or breakdown of this skill. This skill view of mental health is motivated by focusing on the process of mental healing. This paper argues that, when we start with a focus on how (...) and why individuals heal from mental disorders, we gain a better understanding of what mental health is: the exercise of self-regulatory metacognitive skill. (shrink)

In this paper, we argue that several recent ‘wide’ perspectives on cognition (embodied, embedded, extended, enactive, and distributed) are only partially relevant to the study of cognition. While these wide accounts override traditional methodological individualism, the study of cognition has already progressed beyond these proposed perspectives towards building integrated explanations of the mechanisms involved, including not only internal submechanisms but also interactions with others, groups, cognitive artifacts, and their environment. The claim is substantiated with reference to recent developments in the (...) study of “mindreading” and debates on emotions. We claim that the current practice in cognitive (neuro)science has undergone, in effect, a silent mechanistic revolution, and has turned from initial binary oppositions and abstract proposals towards the integration of wide perspectives with the rest of the cognitive (neuro)sciences. (shrink)

Father Marian Morawski was born on the fifteenth of August 1845 in Gräfenberg. He joined the order of the Jesuits in 1863 in Stara Wieś. He began his philosophical studies there in 1866, which he finished in Cracow in 1868. Next he studied theology there during the years 1868-1872. In 1870 he was ordained in Śrem. So educated, he lectured philosophy to young Jesuits at Stara Wieś College. It was at that time, that he prepared and published the work by (...) the titile: Filozofia i jej zadanie [Philosophy and its task]. When, at the request of the editor Edward Podolski, the Jesuits took over the periodical "Przegląd Lwowski" and from 1884 began to publish it by the new title of "Przegląd Powszechny", Morawski became its first editor and published many of his own articles in it concerning science and religion. In this way he created a new breed of theological literature, known as „world-view literature". As a typical example, Wieczory nad Lemanem [Evenings on Leman] as well as the thesis Celowość w przyrodzie. Studium przyrodniczo-filozoficzne [Finality in the nature. A natural-philosophical study] were published multiple times and in many languages. From 1887 to 1899 Morawski was a professor at the Jagiellonian University, and during the years 1894-1895 he was the Dean of the Theology Department. He died in Cracow on the sixth of May 1901. (shrink)

Father Marian Morawski was born on the fifteenth of August 1845 in Gräfenberg. He joined the order of the Jesuits in 1863 in Stara Wieś. He began his philosophical studies there in 1866, which he finished in Cracow in 1868. Next he studied theology there during the years 1868-1872. In 1870 he was ordained in Śrem. So educated, he lectured philosophy to young Jesuits at Stara Wieś College. It was at that time, that he prepared and published the work by (...) the titile: Filozofia i jej zadanie [Philosophy and its task]. When, at the request of the editor Edward Podolski, the Jesuits took over the periodical "Przegląd Lwowski" and from 1884 began to publish it by the new title of "Przegląd Powszechny", Morawski became its first editor and published many of his own articles in it concerning science and religion. In this way he created a new breed of theological literature, known as „world-view literature". As a typical example, Wieczory nad Lemanem [Evenings on Leman] as well as the thesis Celowość w przyrodzie. Studium przyrodniczo-filozoficzne [Finality in the nature. A natural-philosophical study] were published multiple times and in many languages. From 1887 to 1899 Morawski was a professor at the Jagiellonian University, and during the years 1894-1895 he was the Dean of the Theology Department. He died in Cracow on the sixth of May 1901. (shrink)

Contents: PART I. PHILOSOPHICAL EXPLANATIONS OF CREATIVITY AND CONSCIOUSNESS. Krystyna ZAMIARA: The psychological approach to creativity. A critical appraisal. Rick L. FRANKLIN: Creativity and depth in understanding. Zdzis??l??awa PIATEK: Creativity of life and F.W. Nietzsche's idea of Superman. Jaromír JANOUSEK: Dialogue and joint activity: A psychological approach. Krystyna ZAMIARA: Some remarks on Piaget's notion of "consciousness" and its importance for the studies of culture. Anna GA??L??DOWA, and Aleksander NELICKI: Attitudes towards values as a factor determining creativity. PART II. THE ROLE (...) OF CREATIVITY IN THE THEORY-BUILDING. Leszek NOWAK: On creativity in theory-building. Izabella NOWAK: Discovery and correspondence. A contribution to the idealizational approach to science. Jerzy BRZEZI??N??SKI: Research process in psychology in the context of the researcher's methodological consciousness. Andrzej FALKOWSKI: Cognitive similarity in scientific discovery: An ecological approach. PART III: CONSCIOUSNESS IN HISTORICAL PERSPECTIVE. Kathleen V. WILKES: Inside insight. Franco DI MARIA, and Gioacchino LAVANCO: History and epistemology of the unconscious. Franco DI MARIA, and Gioacchino LAVANCO: Conscious/unconscious and group-analysis. Banjamin WALLACE, Andrzej KOKOSZKA, and Deanna D. TUROSKY: Historical and contemporary thoughts on consciousness and its altered states. PART IV. BETWEEN EXPRESSION AND PROJECTION. Micha??l?? STASIAKIEWICZ: Creativity and projection: Paradigm opposition and implicit correspondence. Anna BRZEZI??N??SKA: Creative expression versus projection. PART V. THE ROLE OF PSYCHOPHYSIOLOGICAL COMPONENTS IN EXPLANATION OF PHENOMENA OF CONSCIOUSNESS AND CREATIVITY. Mario BUNGE: Explaining creativity. Piotr WOLSKI: Hemispheric asymmetry and consciousness. Is there any relationship? Andrzej KOKOSZKA: A rationale for psychology of consciousness. PSYCHOLOGICAL EXPLANATIONS OF CREATIVITY AND CONSCIOUSNESS. Santo DI NUOVO: Consciousness and attention. Tomasz MARUSZEWSKI: Two looks on consciousness. Is there any interface between philosophy of science and psychology? Marek KOWALCZYK: On the question of the functions of consciousness. Dean Keith SIMONTON: From childhood giftedness to creative genius. Magdalena FAFROWICZ, Tadeusz MAREK, and Czes??l??aw NOWOROL: Effectiveness of innovation as a function of creative style of behavior and type of leadership. Mark A. RUNCO, and Joni RADIO GAYNOR: Creativity and optimal development. (shrink)

Jan Sieg, Sohn von Marceli und Teresa, geb. Rhunke, wurde am 20. Oktober 1919 in Płocicz, im Kreis Sępólno Krajeńskie in Pommern geboren. In den Jahren 1930 bis 1938 besuchte er die Oberschule in Chojnice und legte dort die Reifeprüfung ab. Am 28. September 1940 ist er dem Jesuitenorden beigetreten, woraufhin er in Stara Wieś bei Krosno ein zweijähriges Noviziat absolvierte. Er studierte Philosophie in Nowy Sącz und Theologie in Stara Wieś und in Krakau. Ordiniert wurde er am 29. Juni (...) in Stara Wieś. (shrink)

Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej (...) KANDULSKI: Categorial Grammars with Structural Rules. Miros??l??awa KO??L??OWSKA-GAWIEJNOWICZ: Labelled Deductive Systems for the Lambek Calculus. Roman MURAWSKI: Satisfaction Classes - a Survey. Kazimierz _WIRYDOWICZ: A New Approach to Dyadic Deontic Logic and the Normative Consequence Relation. Wojciech ZIELONKA: More about the Axiomatics of the Lambek Calculus. THEORETICAL LINGUISTICS. Jacek Juliusz JADACKI: Troubles with Categorial Interpretation of Natural Language. Maciej KARPI??N??SKI: Conversational Devices in Human-Computer Communication Using WIMP UI. Witold MACIEJEWSKI: Qualitative Orientation and Grammatical Categories. Zygmunt VETULANI: A System of Computer Understanding of Texts. Andrzej WÓJCIK: The Formal Development of van Sandt's Presupposition Theory. W??l??adys??l??aw ZABROCKI: Psychologism in Noam Chomsky's Theory . Ryszard ZUBER: Defining Presupposition without Negation. PHILOSOPHY OF LANGUAGE AND METHODOLOGY OF SCIENCES. Jerzy KMITA: Philosophical Antifundamentalism. Anna LUCHOWSKA: Peirce and Quine: Two Views on Meaning. Stefan WIERTLEWSKI: Method According to Feyerabend. Jan WOLE??N??SKI: Wittgenstein and Ordinary Language. Krystyna ZAMIARA: Context of Discovery - Context of Justification and the Problem of Psychologism. (shrink)

This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of (...) the book itself. The first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics which we call standard are quite well investigated, the efforts focused on hybrid logics referred to as non-standard in this book. Non-standard hybrid logics are understood as modal logics with global counting operators ) whose expressive power matches the expressive power of binder-free standard hybrid logics. The relevant results comprise: 1. Establishing a sound and complete axiomatization for the modal logic K with global counting operators ), which can be easily extended onto other frame classes, 2. Establishing tight complexity bounds, namely NExpTime-completeness for the modal logic with global counting operators defined over the classes of arbitrary, reflexive, symmetric, serial and transitive frames ), MT), MD), MB), MK4) with numerical subscripts coded in binary. Establishing the exponential-size model property for this logic defined over the classes of Euclidean and equivalential frames ), MS5).Results of the second type consist of designing concrete deductive systems for standard and non-standard hybrid logics. More precisely, they include: 1. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for a rich class of binder-free standard hybrid logics. An interesting feature of indicated calculi is the nonbranching character of the rule, 2. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for non-standard hybrid logics. The internalization technique applied to a tableau calculus for the modal logic with global counting operators is novel in the literature, 3. Devising the first hybrid algorithm involving an inequality solver for modal logics with global counting operators. Transferring the arithmetical part of reasoning to an inequality solver turned out to be sufficient in ensuring termination.The book is directed to philosophers and logicians working with modal and hybrid logics, as well as to computer scientists interested in deductive systems and decision procedures for logics. Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity. (shrink)

This is a new edition of the manual published in 1974 and 1984. Compared with those earlier editions it is revised, enlarged and more precise in its argumentation. In its beginnings the manual aimed at meeting the didactic needs to present students of the Faculty of Christian Philosophy at the ATK a complete handling of Christian ethics. The author, who wrote his manual in difficult times of communist ideology, decided to include in one work, besides a positive exposition of Christian (...) ethics, a critical discussion with other ethical systems as well as his own explicit theory on Augustinian and Thomistic ethics, which he endeavoured to develop. Thus the work interlocked the didactic objectives and the process of growth and justification of the Author's views, Krakow 2001, p. 308). (shrink)

ABOUT THE PUTTING NAMES TO OBJECTS, I.E. HOW TADEUSZ KOTARBIjSKI TEACHES UNDERSTAND STANISkAW LE3NIEWSKI’S ONTOLOGY S u m m a r y This article presents an attempt to fund Ontology of Stanis;aw Lemniewski on a simple theory with one primitive relation “being denoted by”. Developed theory shows that to the linguistic model of the Ontology can belong only such general names that in their extensions have at least two objects (references) denoted by individual names.